Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
141	QUANTUM GROUPS AND REPRESENTATIONS WITH HIGHEST WEIGHT Joseph Bernstein and Tanya Khovanova arXiv:q-algApr 1997 Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2008-02-26 17:10:01 Representation theory Ring theory Lie algebras Quantum group Universal enveloping algebra Weight Adjoint functors Graded algebra Frobenius algebra Abstract algebra Algebras Hopf algebras
142	Contents Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii 0 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-09-04 09:54:56 Abstract algebra Adjoint functors Functor Equivalence of categories Institution Algebraic structure Natural transformation Combinatorial species Universal algebra Mathematics Algebra Category theory
143	On quantum group SLqarXiv:hep-thDec 94 Joseph Bernstein Tel-Aviv University Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2008-02-26 17:10:00 Representation theory Lie algebras Monoidal categories Ring theory Quantum group Weight Universal enveloping algebra Frobenius algebra Braided Hopf algebra Abstract algebra Algebra Hopf algebras
144	A Expressive Languages for Path Queries over Graph-Structured Data ´ , University of Chile PABLO BARCELO LEONID LIBKIN, University of Edinburgh ANTHONY W. LIN, Univerity of Oxford Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-12-12 09:23:41 Metalogic Model theory Structure Universal algebra FO String Orbifold Conjunctive query Mathematics Formal languages Theoretical computer science
145	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic
146	TACFileSize-Twocolumn.dvi Add to Reading List Source URL: users.monash.edu Language: English - Date: 2014-01-09 20:53:45 Mathematics Logic Model theory Structure Universal algebra
147	Reasoning on Regular Path Queries D. Calvanese, G. De Giacomo, M. Lenzerini Dip. di Informatica e Sistemistica Universit`a di Roma “La Sapienza” Via Salaria 113, IRoma, Italy Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:39 Universal algebra Conjunctive query Logic Relational model Data integration FO Symbol Metaphilosophy Mathematics Model theory Structure
148	Expressive Languages for Path Queries over Graph-Structured Data Pablo Barcelo´ Carlos Hurtado Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-04-02 11:57:56 Metalogic Model theory Structure Universal algebra FO Probabilistically checkable proof String Data integration Conjunctive query Mathematics Formal languages Theoretical computer science
149	Logic Formulae Tanya Khovanova December 9, 2013 Student: Teacher, would you punish me for something I didn’t do? Teacher: No, why? Student: I didn’t do my homework. Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2013-12-20 11:45:43 Mathematics Philosophical logic Boolean algebra Semantics If and only if Negation Universal quantification Truth table Truth Logic Propositional calculus Philosophy
150	Open Multi-Agent Systems: Agent Communication and Integration Rogier M. van Eijk, Frank S. de Boer, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1999-06-11 10:44:36 Universal algebra Model theory Logic programming Abstract algebra Arity Term Structure First-order logic Mathematics Mathematical logic Logic

UPDATE